Verification and validation of simulation models
نویسندگان
چکیده
منابع مشابه
Verification , Validation , and Accreditation of Simulation Models
This paper discusses verification, validation, and accreditation of simulation models. The different approaches to deciding model validity are presented; how model verification and validation relate to the model development process are discussed; various validation techniques are defined; conceptual model validity, model verification, operational validity, and data validity are described; ways ...
متن کاملVerification and Validation of Simulation Models
Unfortunately, cost and time are always restraints; the impact of simulation models to study the dynamic system performance is always rising. Also, with admiration of raising the network security models, the complexity of real model applications is rising too. As a result, the complexity of simulation models applications is also rising and the necessary demand for designing a suitable verificat...
متن کاملVerification and validation of simulation models
This paper surveys verification and validation of models, especially simulation models in operations research. For verification it discusses 1) general good programming practice (such as modular programming), 2) checking intermediate simulation outputs through tracing and statistical testing per module, 3) statistical testing of final simulation outputs against analytical results, and 4) animat...
متن کاملHistory of verification and validation of simulation models
This paper gives the history of verification and validation of discrete-event simulation models as seen through the eyes of its authors and their experiences. The history is divided into three time periods: the early era covering years up to 1970, the awareness era covering the years of the 1970s and 1980s, and the modern era covering the years of 1990 to the present.
متن کاملFormal Methods in the Verification and Validation of Simulation Models
We examine the use of formal methods in the verification and validation of simulation models. The verification methods covered are deductive inference and model checking. The validation methods are statistical tests and inductive inference. The model that the methods are demonstrated on is the simple pendulum problem. This problem was chosen because it is conceptually easy to understand and all...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Operational Research
سال: 1995
ISSN: 0377-2217
DOI: 10.1016/0377-2217(94)00016-6